regular languages are closed under union